- formalisiert
- формализованный
Deutsch-Russische Wörterbuch polytechnischen. 2013.
formalisiert
Смотреть что такое "formalisiert" в других словарях:
Konfiguration von Mintzberg — Die Konfiguration von Mintzberg ist eine von Henry Mintzberg[1][2] vorgeschlagene Struktur, um Organisationen mit verschiedenen inneren und äußeren Umwelten, Aufgabenstellungen und Führung dynamisch zu beschreiben. Sie beschreibt zum einen das… … Deutsch Wikipedia
Alpha-Konversion — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Lambda-Ausdruck — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Lambda-Kalkül — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Sie beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter. Inhaltsverzeichnis 1 Geschichte 2 Der… … Deutsch Wikipedia
Lambda-Notation — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Lambdakalkül — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… … Deutsch Wikipedia
Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de … Deutsch Wikipedia
Avram Noam Chomsky — Noam Chomsky Avram Noam Chomsky [ˈævɹəm ˈnoʊəm ˈtʃɑːmskɪ] (* 7. Dezember 1928 in Philadelphia, Pennsylvania, USA) ist Professor für Linguistik am Massachusetts Institute of Technology (MIT). Er entwickelte die nach ihm benannte … Deutsch Wikipedia
Cai-Ten — Jasmine Simhalan bei einer Darbietung von Kalarippayat und Silambam Techniken Als Kampfkunst bezeichnet man jedes System, das Fertigkeiten und Techniken der körperlichen Auseinandersetzung mit einem Gegner formalisiert. Dabei kann es sich um… … Deutsch Wikipedia
Die logische Form der Handlungssätze — (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde 1966 bei einem Kongress über The… … Deutsch Wikipedia
Die logische Form der Handlungsätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… … Deutsch Wikipedia
